检索结果

期刊

出版年

关键词

Please wait a minute...

选择:

导出引用
EndNote Ris BibTeX

Toggle Thumbnails

显示/隐藏图片

Select

1. 具有DP的广义可能性模糊时态CTL模型检测

魏杰林，袁申，李永明，梁常建

计算机科学与探索 2019, 13 (10): 1781-1792. DOI: 10.3778/j.issn.1673-9418.1807037

相关文章 | 多维度评价

摘要 (324)

PDF (312)

投稿查稿专家登录主编登录编辑登录期刊
公众号